30081. Verified Software: Theories, Tools, Experiments
پدیدآورنده: / ller, Andreas PodelskiیRajeev Joshi, Peter M
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30082. Verified Software: Theories, Tools and Experiments
پدیدآورنده: / Dimitra Giannakopoulou, Daniel Kroening
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30083. Verified software
پدیدآورنده: \ Arie Gurfinkel , Sanjit A. Seshia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a03,a03,Computer programming.,Software engineering.,برنامه‌نویسی ,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
V4
2016
E-Book
,
30084. Verifying Concurrent Processes Using Temporal Logic
پدیدآورنده: by Brent T. Hailpern.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic design.
30085. Verkehrsmanagementzentralen in Kommunen
پدیدآورنده: / Michael Sandrock, Gerd Riegelhuth
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
30086. Verkehrssicherheit
پدیدآورنده: / Eckehard Schnieder, Lars Schnieder
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ROBOTICS& METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
30087. Vernetzte und komplexe Informatik-Systeme :
پدیدآورنده: herausgegeben von Bernd E. Wolfinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
5
H473
1988
30088. Version Control with Git : Powerful tools and techniques for collaborative software development
پدیدآورنده: / Loeliger, Jon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30089. Version Control with Git: Powerful tools and techniques for collaborative software development
پدیدآورنده: / Jon Loeliger, Matthew McCullough
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30090. Versionskontrolle mit Git
پدیدآورنده: / Loeliger, Jon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30091. Verteilte Künstliche Intelligenz und kooperatives Arbeiten 4. Internationaler GI-Kongreß Wissensbasierte Systeme München, 23.-24. Oktober 1991 Proceedings
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Verteilte künstliche Intelligenz
30092. Verteilte Systeme :
پدیدآورنده: von Günther Bengel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer network architectures.,Computer science.
رده :
QA76
.
9
.
A73
V664
2002
30093. Viability of Hybrid Systems
پدیدآورنده: / G. Labinaz, M. Guay
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ROBOTICS& METHODS|AUTOMATION &COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
30094. Vibration Control of Flexible Servo Mechanisms
پدیدآورنده: edited by J.-L. Faillot.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer simulation.,Computer-aided design.
رده :
TJ214
.
E358
1993
30095. Vibration and Structural Acoustics Analysis
پدیدآورنده: / C.M.A. Vasques, J. Dias Rodrigues
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
رده :
E-BOOK
30096. Vibrational Properties of Defective Oxides and 2D Nanolattices
پدیدآورنده: / Emilio Scalise
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: FILMS& ELECTRONIC|MATERIALS SCIENCE, COATINGS & ENGINEERING (uncategorised)|ENGINEERING, ELECTRICAL &COMPUTER SCIENCE
رده :
E-BOOK
30097. Vibrations and Stability of Complex Beam Systems
پدیدآورنده: / Vladimir Stojanovi, Predrag Kozi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY& ENGINEERING (uncategorised)|AUTOMATION &COMPUTER SCIENCE
رده :
E-BOOK
30098. Video Analysis and Repackaging for Distance Education
پدیدآورنده: / A. Ranjith Ram, Subhasis Chaudhuri
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
30099. Video Analytics for Audience Measurement
پدیدآورنده: / Cosimo Distante, Sebastiano Battiato, Andrea Cavallaro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
30100. Video Analytics for Business Intelligence
پدیدآورنده: / Caifeng Shan, Fatih Porikli, Tao Xiang, Shaogang Gong
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
